Metalogical Decorations of Logical Diagrams
نویسندگان
چکیده
منابع مشابه
Metalogical Decorations of Logical Diagrams
In recent years, a number of authors have started studying Aristotelian diagrams containing metalogical notions, such as tautology, contradiction, satisfiability, contingency, strong and weak interpretations of (sub)contrariety, etc. The present paper is a contribution to this line of research, and its main aims are both to extend and to deepen our understanding of metalogical diagrams. As for ...
متن کاملHyperproof: Logical Reasoning with Diagrams
Brief overview Hyperproof is a Macintosh program designed to help students learn how to reason logically, using either sentenccs of first-order logic, or diagrams, or both. 1 An ilhistration of a typical Hyperproof screen is shown in Figure 1. Hyperproofis a descendant of our earlier courseware Tarski’s World [2]. Tarski’s World uses diagrams to help teach the language of first-order logic, and...
متن کاملA Logical Formalization of Hardware Design Diagrams
Diagrams have been left as an informal tool in hardware reasoning, thus rendering them unacceptable representations within formal reasoning systems. We demonstrate some advantages of formally supporting diagrams in hardware veri cation systems via a simple example and provide a logical formalization of hardware diagrams upon which we are constructing a veri cation tool.
متن کاملA Hybrid Metalogical Framework
The methodology by which deductive systems and metatheorems about them are encoded in the logical framework LF is well understood. Many (but not all) of these ideas have already been successfully extended to the case of encoding stateful deductive systems in the linear logical framework LLF. The main gap is the heretofore open question of whether one can bring to LLF the full power of relationa...
متن کاملA Logical Investigation on Global Reading of Diagrams
In graphical or diagrammatic representations, not only a basic component of a diagram, but also a collection of multiple components can form a semantic unit, and it often helps reasoning with that diagram. For example, a row and a column in a table, or transitively closed nodes in a directed graph can be regarded as a semantic unit on its own. Designers have long noticed the importance of infor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logica Universalis
سال: 2016
ISSN: 1661-8297,1661-8300
DOI: 10.1007/s11787-015-0136-6